More from this Author

Recent Trends in Algebraic Development Techniques

by Martin Wirsing (Editor), Dirk Pattinson (Editor), Rolf Hennicker (Editor)

Coalgebraic Methods in Computer Science

by Dirk Pattinson (Editor), Lutz Schröder (Editor), Lutz Schröder (Editor)